261. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
262. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
263. Stochastic algorithms :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms ; Congresses ; Stochastic approximation ; Congresses ; Computer science ; Mathematics ; Congresses ;
264. Stochastic algorithms
پدیدآورنده: / Kathleen Steinh?�fel, ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
9
.
58
,.
S24
,
2001
265. Stochastic algorithms
پدیدآورنده: Oleg B. Lupanov ... ]et al.[ )eds.(,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Algorithms, Congresses,Stochastic approximation, Congresses,Computer science, Mathematics, Congresses
رده :
QA
.
S24
9
.
58
2005
266. Stochastic algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms ; Congresses. ; Stochastic approximation ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
267. Stochastic algorithms
پدیدآورنده: / Andreas Albrecht, Kathleen Steinheofel (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
9
.
58
,.
S24
,
2003
268. Stochastic algorithms: foundations and applications
پدیدآورنده: / Oleg B. Lupanov ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
9
.
58
,.
S243
,
2005
269. Stochastic algorithms: foundations and applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science-- Mathematics
رده :
QA
9
.
58
.
S24
2005
270. Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
پدیدآورنده: Andreas Albrecht, Kathleen Steinhofel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2827
271. Stochastic algorithms : foundations and applications : third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 : proceedings
پدیدآورنده: Oleg B. Lupanov...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3777
272. Stochastic algorithms: foundations and applications: third international Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005: proceedings
پدیدآورنده: SAGA 5002 )5002: Moscow, Russia(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
58
.
S24
2005
273. Symbolic computation : applications to scientific computing
پدیدآورنده: edited by Robert Grossman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
274. The influence of computing on mathematical research and education
پدیدآورنده: edited by Joseph P. Lasalle
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,، Mathematics -- Research,Study and teaching -- Congresses ، Mathematics
رده :
QA
1
.
P69
Vol
.
20
275. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده: editors : Masakazu Suzuki....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
276. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده: J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
277. Theoretical and mathematical foundations of computer science :
پدیدآورنده: Qihai Zhou (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
I28
2011
278. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
279. Theory and Applications of Models of Computation
پدیدآورنده: \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
280. Theory and applications of models of computation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
